1. First-order dynamic logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory

رده :
QA
76
.
6
.
H34
1979

2. First-order dynamic logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory

رده :
QA
76
.
L4
v
.
68